Supervisory Control of Hybrid Systems within a Behavioural Framework

This contribution addresses the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor can they be represented by nite state machines. We nd an l-complete approximation (abstraction) l for , represent it by a nite state machine, and investigate the control problem for the approximation. If a solution exists, we synthesize the maximally permissive supervisor for l. We show that it also solves the control problem for the hybrid system. If no solution exists, approximation accuracy can be increased by computing a k-complete abstraction k , k > l. This paper is entirely set within the framework of Willems' behavioural systems theory.